import java.io.File;

/**
 * derived
 * 
 * 
 * INPUT_CD = OPEN_PRJ.inputCD
 * 
 * SOINV = OPEN_PRJ.stateObserverInv
 * 
 * EVCR = OPEN_PRJ.eventCondReact
 * 
 * ST = OPEN_PRJ.stateTable
 * 
 * SM = OPEN_PRJ.stateMachine
 */
public class Main {

	FileSystem FS;
	Project OPEN_PRJ;
	ClassDiagram INPUT_CD;
	Invalidator INV;
	StateObserverInv SOINV;
	EventCondReact EVCR;
	StateTable ST;
	StateMachine SM;
	private Sequence_State states = null;
	private Sequence_Transition trans = null;

	/**
	 * 
	 * @param fName
	 * @return 
	 */
	public void doNewProject(String fName) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param fName
	 * @return 
	 */
	public void doOpenProject(String fName) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param f
	 * @return 
	 */
	public void passFile(File f) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void failed() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doOpenInputCD() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @return 
	 */
	public void doAddCDElement(CDElementInfo el) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @return 
	 */
	public void doDeleteCDElement(CDElement el) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @param ElINnew
	 * @return 
	 */
	public void doUpdCDElement(CDElement el, CDElementInfo ElINnew) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param classes
	 * @return 
	 */
	public void doSetContextClass(Class classes) {
		throw new UnsupportedOperationException();
	}

	/**
	 * All subparts of el will be also validated
	 * @param el
	 * @return 
	 */
	public void doValidate(Element el) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doClose() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doOpenSOINV() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @param ElINnew
	 * @return 
	 */
	public void doUpdStateObserver(StateObserver el, StateObserverInfo ElINnew) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param so
	 * @return 
	 */
	public void doDeleteStateObserver(StateObserver so) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @return 
	 */
	public void doAddStateObserver(StateObserverInfo el) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doGenerateBasicSO() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doOpenEVCR() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @return 
	 */
	public void doAddEvent(EventInfo el) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doGenerateBasicEV() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @return 
	 */
	public void doDeleteEvent(Event el) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @param condReact
	 * @return 
	 */
	public void doAddCR(Event el, CondReactInfo condReact) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param cr
	 * @return 
	 */
	public void doDeleteCR(CondReact cr) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param condReact
	 * @param CRInew
	 * @return 
	 */
	public void doUpdateCR(CondReact condReact, CondReactInfo CRInew) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param el
	 * @param ElINnew
	 * @return 
	 */
	public void doUpdEvent(Event el, EventInfo ElINnew) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param usedSO
	 * @return 
	 */
	public void doSelectUsedSO(Sequence_StateObserver usedSO) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param splits
	 * @return 
	 */
	public void doSplitCR(Sequence_SplitInfo splits) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doOpenST() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doGenerateStates() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param row
	 * @param name
	 * @return 
	 */
	public void doDefineState(Row row, String name) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doSplitCR() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doValidateST() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void doGenerateSM() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param row
	 * @return 
	 */
	public void ok(Row row) {
		throw new UnsupportedOperationException();
	}

}